741. The Parametric Lambda Calculus :
المؤلف: by Simona Ronchi Della Rocca, Luca Paolini.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
742. The Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
743. The deductive spreadsheet /
المؤلف: Iliano Cervesato
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Deductive databases,Electronic spreadsheets,Logic programming
رده :
QA76
.
9
.
D3
744. The handbook of software for engineers and scientists /
المؤلف: editor-in-chief, Paul W. Ross.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
رده :
QA76
.
754
.
H35
2018eb
745. The innovation in computing companion :
المؤلف: Gerard O'Regan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
746. The little typer /
المؤلف: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
747. The logic of partial information
المؤلف: Nait Abdallah, Areski
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
748. The logic of partial information
المؤلف: Nait Abdallah, Areski, 0591-
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
749. The logic of programming
المؤلف: Hehner, Eric C. R.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
750. The logic of programming
المؤلف: / Eric C. R. Hehner
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Programming(Electronic computer),Logic,Symbolic and mathematical
رده :
QA
76
.
76
.
H427
1984
751. The logic of programming
المؤلف: Hehner, Eric C. R.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
752. The logic of programming
المؤلف: Hehner, Eric C R
المکتبة: (طهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
753. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
754. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
755. The making of a new science :
المؤلف: Giorgio Ausiello.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
756. The (new) Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
757. The secret life of programs :
المؤلف: by Jonathan E. Steinhart.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
S735
2019
758. The transparent paolog machine
المؤلف: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
رده :
QA
76
.
73
.
P76E48
1991
759. Theoretical aspects of computing -- ICTAC 2018 :
المؤلف: Bernd Fischer, Tarmo Uustalu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
